21. DHTML utopia :
پدیدآورنده : by Stuart Langridge.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : DHTML (Document markup language),HTML editors (Computer programs),Web site development.
22. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
23. Dependable Computing for Critical Applications 2
پدیدآورنده : edited by John F. Meyer, Richard D. Schlichting.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1992
24. Developing and validating test items /
پدیدآورنده : by Thomas M. Haladyna and Michael C. Rodriguez.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Educational tests and measurements-- Design and construction.
رده :
LB3051
.
H297
2013
25. Distributed Systems :
پدیدآورنده : by Albert Fleischmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
B935
1994
26. Empirical Foundations of Information and Software Science.
پدیدآورنده : Jagdish C Agrawal
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA75
.
5
J343
1985
27. Engineering high quality medical software :
پدیدآورنده : Antonio Coronato.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Medical care-- Information technology.,Medical informatics.,Medicine-- Computer programs.,Medicine-- Data processing.,Computing Methodologies.,Medical Informatics-- standards.,Software Design.,certification.,HEALTH & FITNESS-- Holism.,HEALTH & FITNESS-- Reference.,MEDICAL-- Alternative Medicine.,MEDICAL-- Atlases.,medical computing.,MEDICAL-- Essays.,MEDICAL-- Family & General Practice.,MEDICAL-- Holistic Medicine.,Medical informatics.,MEDICAL-- Osteopathy.,Medicine-- Computer programs.,Medicine-- Data processing.,software quality.,standards.
رده :
R858
.
C67
2018eb
28. Equipment qualification in the pharmaceutical industry /
پدیدآورنده : Steven Ostrove.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Pharmaceutical technology-- Quality control.,Pharmaceutical technology-- Standards.,MEDICAL-- Pharmacology.,Pharmaceutical technology-- Quality control.,Pharmaceutical technology-- Standards.
رده :
RS192
29. Excel Hacks.
پدیدآورنده : David Hawley
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business -- Computer programs.,Electronic spreadsheets.,Microsoft Excel (Computer file)
رده :
HF5548
.
4
.
M523
D385
2008
30. Excel 2010 bible /
پدیدآورنده : John Walkenbach.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Microsoft Excel (Computer file),Business-- Computer programs.,Electronic spreadsheets.
رده :
HF5548
.
4
.
M523
W34579
2010
31. Excel 2007 for project managers /
پدیدآورنده : Kim Heldman, William Heldman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Microsoft Excel (Computer file),Microsoft Excel (Computer file),Business-- Computer programs, Handbooks, manuals, etc.,Electronic spreadsheets, Handbooks, manuals, etc.,Business-- Computer programs.,Electronic spreadsheets.
رده :
HF5548
.
4
.
M523
H455
2007
32. Formal Methods for Open Object-based Distributed Systems V Ifip Tc6
پدیدآورنده : Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TK7895
.
M5
W445
2013
33. Gas-Phase Thermal Reactions
پدیدآورنده : by Guy-Marie Côme.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chemical engineering.,Chemistry, Physical organic.,Chemistry.
34. Global specification and validation of embedded systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Embedded computer systems. ; Heterogeneous computing. ; Computer programs ; Validation. ;
35. Global specification and validation of embedded systems :
پدیدآورنده : by G. Nicolescu and A.A. Jerraya [eds.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Validation.,Embedded computer systems.,Heterogeneous computing.,Computer programs-- Validation.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Embedded computer systems.,Heterogeneous computing.,Ingénierie.
رده :
TK7895
.
E42
G56
2007eb
36. Ground-source Heat Pumps :
پدیدآورنده : Ioan Sarbu, Department of Building Services Engineering, Polytechnic University of Timisoara, Romania, Calin Sebarchievici, Deaprtment of Building Services Engineering, Polytechnic University of Timisoara, Romania
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ground source heat pump systems
رده :
TH7417
.
5
.
S27
2016
37. Guidance for the Verification and Validation of Neural Networks
پدیدآورنده : Laura L.Pullum,Brian J.Taylor ,Majorie A.Darrah
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Neural networks (Computer Science),Computer programs -- Validation,computer programs -- Verfication
رده :
006
,.
3222
,
P84
,
2007
38. Guidance for the verification and validation of neural networks /
پدیدآورنده : Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Validation.,Computer programs-- Verification.,Neural networks (Computer science)
رده :
QA76
.
87
.
P85
2007
39. Handbook on measurement, assessment, and evaluation in higher education /
پدیدآورنده : edited by Charles Secolsky and D. Brian Denison
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Education, Higher-- Evaluation, Handbooks, manuals, etc,Educational tests and measurements, Handbooks, manuals, etc
رده :
LB2331
.
62
.
H36
2012
40. IEEE standard for software and system test documentation /
پدیدآورنده : sponsor, Software & Systems Engineering Standards Committee of the IEEE Computer Society.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Testing-- Standards.,Electronic data processing documentation-- Standards.,Technical writing-- Standards.,Computer programs-- Testing-- Standards.,Electronic data processing documentation-- Standards.,Technical writing-- Standards.
رده :
QA76
.
9
.
D6
I433
2008eb